
  timer_start ();
